Tính chất Tiên đề đếm được

  • Tiên đề đếm được thứ hai ngụ ý tiên đề đếm được thứ nhất. Thật vậy, các tập mở chứa điểm x {\displaystyle x} trong cơ sở đếm được tạo thành một cơ sở lân cận đếm được của x {\displaystyle x} , với mọi điểm x {\displaystyle x} trong không gian tô-pô.